The Lazy Genius Inside Your Chatbot: Meet MoD, the Art of Thinking Less but Smarter
dev.to·3h·
Discuss: DEV
🧠Intelligence Compression
The Lobster Programming Language
strlen.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Song recommendations with F# free monads
blog.ploeh.dk·1d
🔗Functional Compilers
On systematic construction of correct logic programs
arxiv.org·18h
⚖️Hoare Logic
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·7h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Teaching programming languages
kmjn.org·1d
💻Programming languages
The Coding Agent Metagame
calv.info·6h·
Discuss: Hacker News
🦀Rust Macros
Mojo Vision
docs.modular.com·17h·
Discuss: Hacker News
🔩Systems Programming
Large Language Model-Based Automatic Formulation for Stochastic Optimization Models
arxiv.org·18h
🧠Machine Learning
Enabling Kotlin Incremental Compilation on Buck2
engineering.fb.com·6h
🔄Reproducible Builds
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·9h
🎯Gradual Typing
Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·6h
⬆️Lambda Lifting
Chatting with Unmesh about building language with LLMs
martinfowler.com·8h
💻Programming languages
Signal Relays
pzuraq.com·4d·
Discuss: Hacker News
✨Effect Handlers
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Representative Line: Not What They Meant By Watching "AndOr"
thedailywtf.com·15h
🔗Concatenative Programming
Put a ring on it: a lock-free MPMC ring buffer
h4x0r.org·7h·
Discuss: Lobsters, Hacker News, r/programming
⚡Hardware Transactional Memory
modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
arxiv.org·18h
✨Algebraic Effects
Structural vs. Mathematical “Under” (2023)
dyalog.com·22h·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Some anecdotes from vibe-coding a Sublime Text plugin
willett.io·2d·
Discuss: Hacker News
🔗Concatenative Languages